Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
441	A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Formal methods Abstract interpretation Symbolic execution Functional languages Models of computation Model checking Function Programming language Test Mathematics Theoretical computer science Computing
442	Z310 : Applications, Enablers, Challenges and Directions Nikolaj Bjørner and Leonardo de Moura Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {nbjorner,leonardo}@microsoft.com Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:10:53 Logic in computer science Metalogic Electronic design automation NP-complete problems Satisfiability Modulo Theories Model theory Formal verification Extended static checking Model checking Theoretical computer science Formal methods Applied mathematics
443	A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401 Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Applied mathematics Computer science Model checkers Formal methods Logic in computer science Formal verification Model checking State transition system Uppaal Model Checker Models of computation Theoretical computer science Automata theory
444	Scheduling and SAT Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 02:59:42 Constraint programming Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Satisfiability NP-complete Model checking Theoretical computer science Applied mathematics Computational complexity theory
445	Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-08 10:04:52 Computational complexity theory Automata theory Symposium on Theoretical Aspects of Computer Science Cryptographic protocols Model checking Network topology
446	SSVAn Abstract Specification Language for Static Program Analysis Michael Vistein Frank Ortmeier Wolfgang Reif Lehrstuhl f¨ Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-08-18 01:13:32 Mathematical logic Computing NuSMV XML Static single assignment form Model checking Linear temporal logic Computation tree logic Type system Theoretical computer science Temporal logic Logic in computer science
447	Astr´ee: Building a Static Analyzer for Real-Life Programs Antoine Min´e ´ CNRS & Ecole normale sup´ Add to Reading List Source URL: research.ihost.com Language: English - Date: 2010-06-09 16:47:59 Analysis Mind Science Philosophy of mind Abstract interpretation Astrée Model checking
448	METAMOC: MODULAR EXECUTION TIME ANALYSIS USING MODEL CHECKING Andreas E. Dalsgaard1, Mads Chr. Olesen1, Martin Toft1, Ren´e R. Hansen1, Kim G. Larsen1 Abstract Safe and tight worst-case execution times (WCETs) are impor Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2012-10-25 20:25:12 Central processing unit Instruction set architectures Classes of computers CPU cache Computer memory Worst-case execution time ARM9 Cache Microarchitecture Computer architecture Computing Computer hardware
449	NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:19:55 Data Concurrency control Concurrent computing Databases Serializability Parallel computing Actor model Concurrent data structure Thread Computing Transaction processing Data management
450	Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany Add to Reading List Source URL: www.cs.kun.nl Language: English - Date: 2002-05-29 03:53:26 Logic in computer science Formal methods Concurrent computing Cross-platform software Process calculi Communicating sequential processes Runtime verification Actor model Process calculus Computing Theoretical computer science Software engineering

UPDATE